1. Admissible sets and structures
پدیدآورنده : / by Jon Barwise
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
QA9
،.
B379
1975
2. Admissible sets and structures. an approach to definability theory /
پدیدآورنده : Barwise, Jon.,Jon Barwise
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Admissible sets and structures : an approach to definability theory
پدیدآورنده : Barwise, Jon
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
رده :
QA
9
.
B29
1975
4. Admissible sets and structures : an approach to definability theory
پدیدآورنده : Barwise, Jon
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Admissible sets,، Definability theory )Mathematical logic(
رده :
QA
9
.
B29
5. Handbook of mathematical logic
پدیدآورنده : edited by Jon Barwise, with the cooperation of H. J. Keisler ... )et al(
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H32
6. Handbook of mathematical logic
پدیدآورنده : edited by Jon Barwise, with the cooperation of H. J. Keisler ... )et al(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H32
7. Hyperproof ]for the Macintosh[
پدیدآورنده : Barwise, Jon
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science,، Logic, Symbolic and mathematical,، Hyperproof,، Macintosh )Computer(
رده :
P
25
.
C28
No
.
42
8. Language, proof, and logic
پدیدآورنده : \ Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic.,منطق
رده :
BC
61
.
B32L32
1999
E
.
Book
,
9. Language, proof, and logic
پدیدآورنده : / Jon Barwise & John Etchemendy
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic
رده :
BC61
.
B38
2002
10. Language, proof, and logic
پدیدآورنده : / Jon Barwise & John Etchemendy
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic
رده :
BC61
.
B38
2002
11. Situations and attitudes
پدیدآورنده : Barwise, Jon.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Semantics )Philosophy(
رده :
B
840
.
B37
1983
12. Situations and attitudes
پدیدآورنده : / Jon Barwise and John perry
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : semantics (philosophy)
رده :
B840
.
S53
1983
13. Studies in model theor
پدیدآورنده : ]by[ Jon Barwise ]and others[ M. D. Morley, editor,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Model theory
رده :
QA
.
M67
9
.
7
14. Studies in model theory
پدیدآورنده : )by( Jon Barwise )and others( M. D. Morley, editor
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Model theory
رده :
QA
9
.
7
.
S78
15. The Kleene Symposium : proceedings of the Symposium, held June 18-24, 1978 at Madison, Wisconsin, U.S.A
پدیدآورنده : edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Recursion theory,Congresses ، Intuitionistic mathematics,، Kleene, Stephen Cole, 9091-4991
رده :
QA
9
.
6
.
K53
1978
16. The Syntax and semantics of infinitary languages
پدیدآورنده : edited by Jon Barwise
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Infinitary languages
رده :
QA
9
.
S95
1968
17. The Syntax and semantics of infinitary languages
پدیدآورنده : edited by Jon Barwise
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Infinitary languages
رده :
QA
3
.
L28
Vol
.
72
18. The language of first-order logic
پدیدآورنده : Barwise, Jon
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، First-order logic,، Tarski's world
رده :
P
25
.
C28
No
.
34
19. The liar :an essay on truth and circularity
پدیدآورنده : Barwise, Jon.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Liar paradox
رده :
BC199
.
P2
B37
1987
20. The liar : an essay on truth and circularity
پدیدآورنده : Barwise, Jon
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Liar paradox
رده :
BC
199
.
P2B37